Physical properties as modal operators in the topos approach to quantum mechanics
نویسندگان
چکیده
In the framework of the topos approach to quantum mechanics we give a representation of physical properties in terms of modal operators on Heyting algebras. It allows us to introduce a classical type study of the mentioned properties.
منابع مشابه
Topos-Theoretic Extension of a Modal Interpretation of Quantum Mechanics
This paper deals with topos-theoretic truth-value valuations of quantum propositions. Concretely, a mathematical framework of a specific type of modal approach is extended to the topos theory, and further, structures of the obtained truth-value valuations are investigated. What is taken up is the modal approach based on a determinate lattice D(e,R), which is a sublattice of the lattice L of all...
متن کاملTopos theory and ‘neo-realist’ quantum theory
Topos theory, a branch of category theory, has been proposed as mathematical basis for the formulation of physical theories. In this article, we give a brief introduction to this approach, emphasising the logical aspects. Each topos serves as a ‘mathematical universe’ with an internal logic, which is used to assign truth-values to all propositions about a physical system. We show in detail how ...
متن کاملproperties of M−hyoellipticity for pseudo differential operators
In this paper we study properties of symbols such that these belong to class of symbols sitting insideSm ρ,φ that we shall introduce as the following. So for because hypoelliptic pseudodifferential operatorsplays a key role in quantum mechanics we will investigate some properties of M−hypoelliptic pseudodifferential operators for which define base on this class of symbols. Also we consider maxi...
متن کاملA Topos Foundation for Theories of Physics : III . The Representation of Physical Quantities With Arrows δ̆ o ( A ) : Σ
This paper is the third in a series whose goal is to develop a fundamentally new way of viewing theories of physics. Our basic contention is that constructing a theory of physics is equivalent to finding a representation in a topos of a certain formal language that is attached to the system. In paper II, we studied the topos representations of the propositional language PL(S) for the case of qu...
متن کاملA topological study of contextuality and modality in quantum mechanics
Kochen-Specker theorem rules out the non-contextual assignment of values to physical magnitudes. Here we enrich the usual orthomodular structure of quantum mechanical propositions with modal operators. This enlargement allows to refer consistently to actual and possible properties of the system. By means of a topological argument, more precisely in terms of the existence of sections of sheaves,...
متن کامل